Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
971	Normalisation of ontology implementations: Towards modularity, re-use, and maintainability Alans Rector Department of Computer Science, University of Manchester Alan L Rector Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2002-08-12 03:27:54 Information Technical communication Knowledge representation Knowledge Semantic Web Upper ontology Description logic SNOMED CT Ontology components Ontology Science Information science
972	Guide to Program Evaluation Getting Started What is Evaluation; Types of Evaluation Activities; Benefits of Evaluation; Evaluation Concerns; Evaluation Constraints Planning the Evaluation Are You Ready for Evaluation; Wo Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:09:04 Science Impact assessment Program evaluation Logic model Impact evaluation Gang Resistance Education and Training Systems engineering process Empowerment evaluation Performance measurement Evaluation methods Evaluation Sociology
973	PDF Document Add to Reading List Source URL: camille.roth.free.fr Language: English - Date: 2007-03-15 19:34:48 Entailment Logical consequence Metalogic Causality Markov chain Blog Logic Philosophy of science Deduction
974	Example: Fwa, T. F., Liu, S. B., and Teng, K. J). "Airport pavement condition rating and maintenance-needs assessment using fuzzy logic." Proc., Airport Pavements: Challenges and New Technologies, ASCE, Reston, Va Add to Reading List Source URL: absentprof.missouristate.edu Language: English - Date: 2012-05-29 11:06:24 Publishing Citation Reference Earthquake Engineering Research Institute Parenthetical referencing American Society of Civil Engineers Case citation Book Bibliography Knowledge Library science
975	A Family History Knowledge Base in OWL 2 Robert Stevens, Nicolas Matentzoglu, Uli Sattler, and Margaret Stevens School of Computer Science, University of Manchester, Manchester (United Kingdom) {robert.stevens\|Ulrike.sat Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-08-07 03:53:36 Science Logic Information science Knowledge representation Reasoning Web Ontology Language Description logic Semantic reasoner Abox Semantic Web Information Ontology
976	professors William Farmer & Jacques Carette Mechanising mathematics Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-05-23 14:39:30 Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software
977	IMA 2003 Workshop on Agent-based Modelling and Simulation Logic and Geometry of Agents 1 Logic and Geometry of Agents Samson Abramsky Oxford University Computing Laboratory http://web.comlab.ox.ac.uk/oucl/work/samson.ab Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2003-11-24 09:26:49 Ethology Agent-based model Complex systems theory Scientific modelling Simulation Logic Science Scientific modeling Knowledge
978	Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:01 Computer programming Computing Constraint satisfaction Sokoban Common subexpression elimination Logic programming Constraint programming Software engineering Programming paradigms
979	Davidson on The Great Fact When does (6) [“The statement that p corresponds to the fact that p”] hold? Certainly when ‘p and’q’ are replaced by the same sentence; after that the difficulties set in. The stateme Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 15:09:45 Cognition Mathematics Critical thinking Fact Philosophy of science If and only if Veracity Logic Binary operations
980	A Logic for Analysing Subterfuge in Delegation Chains Hongbin Zhou and Simon N. Foley Department of Computer Science, University College Cork, Ireland. {zhou,s.foley}@cs.ucc.ie Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2005-08-04 06:41:57 Simple public key infrastructure PERMIS X.500 Public key certificate Cryptography Public-key cryptography Key management

UPDATE